In Javadoc configuration window when I enter a
backslash (\\) in "Source files path list" entry of Paths
section, or in "Destination directory" of Directories
section (for example to escape ":" character in a
windows path) all is right, but next time i want to use
javadoc plugin the backslash is duplicated.
Each time i open javadoc plugin configuration window
the number of backslash grows up, and jEdit slow down.
Currently my jdoc.settings file have a size of 4MB with
two very long lines:
...
settings.jdoc.destination=C\\\\\...\\\\\\\\\:/RRA/clases
...
settings.jdoc.sourcepath=C\\\\\...\\\\\\\\\:/RRA/doc
...
I am using the last versions of jEdit and javadoc plugin.
| Submitted | rralonso - 2003-06-06 10:35:59 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |